Refine your search
- Availability
-
Authors
- BIRO, C. (1)
- ED-DBALI, A. (1)
- SCOWEN, R. S. (1)
- SIEKMANN, J. (1)
- TROELSTRA, A. S. (1)
- Show more
-
Locations
-
Series
-
Topics
- Inteligência artificial (2)
- Linguagens de programação (1)
- Lógica matemática (4)
- Programação lógica (4)
- Teoremas (1)
- Show more